Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
نویسندگان
چکیده
منابع مشابه
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
ion of the non-negative natural numbers. The correctness of the complete analysis then follows from the subject reduction result of [13] that allows us to lift safety (as opposed to liveness) results from the behaviours to safety results for CML programs. We also address the implementation of the second stage of the analysis. Here the idea is to transform the problem as speci ed by the syntax-d...
متن کاملInterprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
Function duplication is widely used by JIT compilers to efficiently implement dynamic languages. When the source language supports higher order functions, the called function’s identity is not generally known when compiling a call site, thus limiting the use of function duplication. This paper presents a JIT compilation technique enabling function duplication in the presence of higher order fun...
متن کاملDesign and implementation of static analyses for higher-order languages
interpretation-based static analyzers. This insight provided a way of extracting the common patterns in the design and implementation of static analyzers and led to the idea of considering abstract interpretation as a particular case of computational effects, which can be abstracted over using a concept of monads from functional programming. This idea was presented in my work on monadic abstrac...
متن کاملDynamic Modules in Higher-Order Languages
Providing programmers the ability to construct meaningful abstractions to help manage complexity is a serious language design issue. Many languages define a module system that can be used to specify distinct namespaces, and build user-defined data abstractions; however, few languages support dynamic modules, i.e., modules which are true first-class objects. In this paper, we define a module sem...
متن کاملDynamic vs. Static Quantum-Based Parallel Processor Allocation
This paper improves upon previous synthetic workload models and compares the performance of dynamic spatial equipartitioning (EQS) and the semi-static quantum-based FB-PWS processor allocation deened in 23], under synthetic workloads that have not previously been considered. These new workloads include realistic repartitioning overheads and job characteristics that are consistent with system me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DAIMI Report Series
سال: 1994
ISSN: 2245-9316,0105-8517
DOI: 10.7146/dpb.v23i483.6976